Debugging Parallel DEVS
نویسندگان
چکیده
To this day, debugging support for the DEVS formalism has been provided, at best, in an ad-hoc way. The intricacies of dealing with the interplay of different notions of (simulated) time, the formalism semantics, and user input, has not been thoroughly investigated. This paper presents a visual modelling, simulation, and debugging environment for Parallel DEVS, which builds on a theoretical foundation for debugging DEVS models. We take inspiration from both the code debugging and the simulation world to model our environment; we transpose a set of useful code debugging concepts onto Parallel DEVS, and combine those with simulation-specific operations, such as as-fast-as-possible simulation and (scaled) real-time execution. Apart from these common debugging operations, we introduce new features to the debugging of Parallel DEVS models, such as “god events”, which can alter the model state during simulation, and reversible debugging, which allows to go back in time. To achieve this, the PythonPDEVS simulator is deand reconstructed: the modal part of the simulator/debugger, as well as the debugging operations, are modelled using the Statecharts formalism. These models are combined, resulting in a model of the timed, reactive behaviour of a debuggable simulator for Parallel DEVS. The code for the simulator is automatically synthesized from this model. To improve usability, we combine the simulator with a visual modelling environment, allowing for visual and interactive live debugging.
منابع مشابه
Time- and space-conscious omniscient debugging of parallel DEVS
Current Parallel DEVS simulation tools provide a wide set of debugging features. Omniscient debugging, or debugging backwards in time, is only rarely implemented, presumably due to its high resource consumption. Outside of DEVS simulation, omniscient debugging implementations are often lossy: some parts of the model or code are ignored, or they consider only a time window of most recent events....
متن کاملExplicit modelling of a parallel DEVS experimentation environment
In this paper, we explicitly model an interactive debugging and experimentation environment for the simulation of Parallel DEVS models. We take inspiration from the code debugging world, as well as from the simulation world (including different notions of time) to model our environment. We support both as-fast-as-possible and (scaled) real-time execution of the model. To achieve this, the Pytho...
متن کاملExploring Spatial Partition for Parallel Simulation of DEVS-FIRE
DEVS-FIRE is a cellular space model for simulating wildfire spread based on the DEVS formalism. To apply parallel simulation of the DEVS-FIRE model, we need a way to divide the simulation tasks and assign them to multiple parallel processing nodes. One way to divide the simulation tasks is based on the spatial partition of the cellular space model. Two spatial partition ideas, i.e., a uniform p...
متن کاملConservative vs. optimistic parallel simulation of DEVS and Cell-DEVS: a comparative study
The conservative Parallel DEVS protocol offers a novel approach that allows conservative simulation of DEVS-based PDES systems. The protocol is based on the classical Chandy-Misra-Bryant synchronization mechanism, and it extends the DEVS abstract simulator to provide means for lookahead computation and null-messages. We present a purely conservative simulator, called CCD++, designed for running...
متن کاملEquivalent Semantic Translation from Parallel DEVS Models to Time Automata
Dynamic reconfigurable simulation based on Discrete Event System Specification (DEVS) requires efficient verification of simulation models. Traditional verification method of DEVS model is based on I/O test in which a DEVS model is regarded as a black box or a grey box. This method is low efficient and insufficient because input samples are often limited. This paper proposes a formal method whi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Simulation
دوره 93 شماره
صفحات -
تاریخ انتشار 2017